88,39€(IVA inc.)
Formal Verification of Floating-Point Hardware Design
- Russinoff, David M.
- 978-3-319-95512-4
- 2018-10-22